An application of geoelectrical methods for contamination plume recognition in Urbanowice waste disposal

The purpose of this work was to detect groundwater pollution and to identify the conditions of soil and groundwater near the Urbanowice landfill site using geoelectrical measurements. Presented measurements are preliminary results from tested site and are beginning of continuous monitoring. Contamination outflows detected by resistivity and IP technique show a good correlation with available hydrological data. Contamination plume were found in Eastern part of survey profil

Application of DOI index to analysis of selected examples of resistivity imaging models in Quaternary sediments

Interpretation of resistivity cross sections may be in many cases unreliable due to the presence of artifacts left by the inversion process. One way to avoid erroneous conclusions about geological structure is creation of Depth of Investigation (DOI) index maps, which describe durability of prepared model with respect to variable parameters of inversion. To assess the usefulness of this interpretation methodology in resistivity imaging method over quaternary sediments, it has been used to one synthetic data set and three investigation sites. Two of the study areas were placed in the Upper Silesian Industrial District region: Bytom-Karb, Chorzów-Chorzów Stary; and one in the Southern Pomeranian Lake District across Pilawa River Valley. Basing on the available geological information the results show high utility of DOI index in analysis of received resistivity models, on which areas poorly constrained by data has been designated

Application of passive seismic to shallow geological structures in urban areas

To study the shallow geological structure the Refraction Microtremor (ReMi) method was applied. This technique uses seismic noise analysis where a source of this small vibrations is the human activity e.g.: traffic, production, factories. The surveys were carried out in selected urban areas in the region of the Upper Silesian Industrial District: Sosnowiec-Pogon , Chorzow-Chorzow Stary and Bytom-Karb. Each area is characterized by the presence of nearby roads with a very high traffic. The results of passive seismic (ReMi) were confronted with data obtained using Multichannel Analysis of Surface Waves (MASW) and resistivity imaging (RI). Seismic surveys were performed by apparatus PASI with 24 channels using geophones of 4.5Hz. The results showed that passive seismic can be satisfactorily used in such urban conditions. The shallow geological structure interpreted by seismic methods have been well-correlated with resistivity studies

A foundation for real recursive function theory

The class of recursive functions over the reals, denoted by REC(R), was introduced by Cristopher Moore in his seminal paper written in 1995. Since then many subsequent investigations brought new results: the class REC(R) was put in relation with the class of functions generated by the General Purpose Analogue Computer of Claude Shannon; classical digital computation was embedded in several ways into the new model of computation; restrictions of REC(R) were proved to represent different classes of recursive functions, e.g., recursive, primitive recursive and elementary functions, and structures such as the Ritchie and the Grzergorczyk hierarchies. The class of real recursive functions was then stratified in a natural way, and REC(R) and the analytic hierarchy were recently recognised as two faces of the same mathematical concept. In this new article, we bring a strong foundational support to the Real Recursive Function Theory, rooted in Mathematical Analysis, in a way that the reader can easily recognise both its intrinsic mathematical beauty and its extreme simplicity. The new paradigm is now robust and smooth enough to be taught. To achieve such a result some concepts had to change and some new results were added

A Survey on Continuous Time Computations

We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models. We survey the existing models, summarizing results, and point to relevant references in the literature

The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation

In this paper we revisit one of the rst models of analog computation, Shannon's General Purpose Analog Computer (GPAC). The GPAC has often been argued to be weaker than computable analysis. As main contribution, we show that if we change the notion of GPACcomputability in a natural way, we compute exactly all real computable functions (in the sense of computable analysis). Moreover, since GPACs are equivalent to systems of polynomial di erential equations then we show that all real computable functions can be de ned by such models

Determination of the resonance frequency - thickness relation based on the ambient seismic noise records from Upper Silesia Coal Basin

In this paper the Horizontal-to-Vertical Spectral Ratio (HVSR) method and seismic data were applied to evaluate the resonance frequency – thickness relation. The HVSR method was used to estimate the parameters of site effects: amplification and resonance frequency from seismic noise records. The seismic noise was generated by artificial source occurring in Upper Silesia Coal Basin (UBSC), Poland, such as: traffic, industry, coal plants etc. The survey points were located near the Faculty of Earth Sciences in Sosnowiec, Bytom and Chorzow. Based on Albarello’s statistical test the observed H/V maxima was confirmed or rejected. Resonance frequencies were compared with available thicknesses of soft layer obtained by seismic survey (Mendecki 2012). Finally, the estimated resonance frequency – thickness relation for UBSC area showed quite similar power function coefficients as those obtained by other authors